#include "decomp/decomp.h"
#include "util/util.h"
#include "base/aig.h"
#include "cktsat/cktcover.h"

int main( int argc , const char ** argv )
{
   ArgAnalyzer arg( "decomp <aig:infile> <aig:outfile>" , argc , argv );
 
   // preprocessing 
   CktCover inckt;
   inckt.read_aig( arg[0].c_str() );

   // decomposition instruction
   
   // incremental try the decomposition
   // incremental control variable 
   //


   // decomposing
}
